DALculus - Theory and Tool for Development Assurance Level Allocation
نویسندگان
چکیده
The Development Assurance Level (DAL) indicates the level of rigor of the development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.
منابع مشابه
Fuzzy Hierarchical Location-Allocation Models for Congested Systems
There exist various service systems that have hierarchical structure. In hierarchical service networks, facilities at different levels provide different types of services. For example, in health care systems, general centers provide low-level services such as primary health care services, while the specialized hospitals provide high-level services. Because of demand congestion in service networ...
متن کاملInvestigating the Effect of Selected Sustainable Development Indicators on Credit Allocation: the Case of National Development Fund of Iran
Credit allocation through the usage of Portfolio optimization mainly seeks tomaximize return and minimize the risk of the portfolio; but there are other importantissues including sustainable development which is important for government/publicsectors. This paper presents a novel credit allocation approach based on portfoliooptimization and investigates the effects of selected indicators of sust...
متن کاملObtaining a possible allocation in the bankruptcy model using the Shapley value
Data envelopment analysis (DEA) is an effective tool for supporting decision-makers to assess bankruptcy, uncertainty concepts including intervals, and game theory. The bankruptcy problem with the qualitative parameters is an economic problem under uncertainty. Accordingly, we combine the concepts of the DEA game theory and uncertain models as interval linear programming (ILP), which can be app...
متن کاملOptimal Strategy of State Lands allocation in Islamic Economics: Game Theory Approach
In the Islamic legal and economic system, a precise mechanism for land use is defined. The classification of lands, along with the flexible methods available to the government for the allocation of land, raises the question of what is the most desirable method for state lands allocation based on the Islamic legal and economic system? Accordingly, the purpose of the present study is to find a fa...
متن کاملA Prototype Development of Assurance Cases Tool and Experiments on SNS Discussion of Radiation Disaster
This poster will discuss how to make consensus building on disaster management including citizens and professionals. For ordinary citizens, it is difficult to understand scientific information such as about radiation disaster. This poster reports our progress of developing a prototype SNS tool for facilitating citizens to understand such scientific information. The prototype system is based on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011